61. Advances in logic, artificial intelligence, and robotics :
پدیدآورنده : edited by Jair Minoro Abe and João Inácio da Silva Filho.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
رده :
Q334
.
C69
2002eb
62. Advances in neural networks - ISNN 2013 :
پدیدآورنده : Chengan Guo, Zeng-Guang Hou, Zhigang Zeng (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Neural networks (Computer science),Neural networks (Computer science) -- Congresses.
رده :
QA76
.
87
C446
9999
63. Advances in plan-based control of robotic agents :
پدیدآورنده : Michael Beetz [and others], eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Autonomous robots -- Congresses.,Intelligent agents (Computer software) -- Congresses.,Robots -- Control systems -- Congresses.
64. Advances in plan-based control of robotic agents :
پدیدآورنده : Michael Beetz [and others], eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Autonomous robots -- Congresses.,Intelligent agents (Computer software) -- Congresses.,Robots -- Control systems -- Congresses.
65. Advances in practical applications of survivable agents and multi-agent systems :
پدیدآورنده : Yves Demazeau, Eric Matson, Juan Manuel Corchado, Fernando De la Prieta (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cooperating objects (Computer systems), Congresses.,Multiagent systems, Congresses.,Cooperating objects (Computer systems),Multiagent systems.
رده :
QA76
.
76
.
I58
I58
2019
66. Advances in proof theory
پدیدآورنده : Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
کتابخانه: (طهران)
موضوع : Congresses ، Proof theory
رده :
QA
9
.
54
.
A39
67. Advances in soft computing :
پدیدآورنده : Ildar Batyrshin, Grigori Sidorov (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Soft computing, Congresses
رده :
QA76
.
9
.
S63
M49
2011
68. Advances in statistical sciences. Volume V, Biostatistics :
پدیدآورنده : edited by Ian B. MacNeill [and three others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biometry -- Congresses.,Biometry.
69. Advances in swarm intelligence. Part 1 :
پدیدآورنده : Ying Tan, Yuhui Shi, Hongwei Mo (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Swarm intelligence -- Congresses.,Swarm intelligence.
70. Advances in visual computing :
پدیدآورنده : George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Matt Turek, Srikumar Ramalingam, Kai Xu, Stephen Lin, Bilal Alsallakh, Jing Yang, Eduardo Cuervo, Jonathan Ventura (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics, Congresses.,Computer vision, Congresses.,Artificial intelligence.,Computer graphics.,Computer networking & communications.,Computer security.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Image processing.,Pattern recognition.
رده :
Q337
.
5
71. Agents for games and simulations II :
پدیدآورنده : Frank Dignum (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Multiagent systems, Congresses
رده :
QA76
.
76
.
I58
A34
2011
72. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده : Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
73. Algebraic Coding Theory and Information Theory: DIMACS Workshop Algeraic Coding Theory and Information Theory, Desember 15-18, 2003 Rugers University, Piscataway, New Jersey
پدیدآورنده : / A.Ashikhmin, A. Barg, Editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Information theory in mathematics -- Congresses,Coding Theory -- Congresses,Algebracie logic -- Congresses
رده :
QA10
.
4
.
A44
2005
74. Algebraic Logic and Universal Algebea in Computer Science Confrence...Proceedings
پدیدآورنده : C.H.Bergman,R.D.Maddux,D.L.Pigozzi)eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L4
v
.
425
75. Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
پدیدآورنده : Algebraic Logic and Universal Algebra in Computer Science Conference )8891 :Ames, Iowa(, C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Algebraic logic- Congresses,، Algebra, Universal- Congresses
رده :
QA
10
.
A45
1990
76. Algebraic and logic programming :
پدیدآورنده : Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic logic-- Congresses,Logic programming-- Congresses
رده :
QA76
.
6
.
A45843
1994
77. Algebraic and logic programming :
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
78. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
343
79. Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings
پدیدآورنده : H. Kirchner, W. Wechler, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
463
80. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده : H. Kirchner, G. Levi, eds
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
632
